DEF=test
EXT=test
KOMPILE_BACKEND=haskell
TESTDIR=.
KPROVE_FLAGS+=--claims VERIFICATION.s1

include ../../../../include/kframework/ktest.mak

CONSIDER_PROVER_ERRORS=2>&1
